A Matrix Characterization for MELL
نویسندگان
چکیده
J. Dix, F. L. Del Cerro, U. Furbach eds., 6 European Workshop on Logics in Artificial Intelligence, European Workshop, JELIA ’98, LNAI 1489, pp. 169–183, c ©Springer Verlag, 1998. Abstract. We present a matrix characterization of logical validity in the multiplicative fragment of linear logic with exponentials. In the process we elaborate a methodology for proving matrix characterizations correct and complete. Our characterization provides a foundation for matrixbased proof search procedures for MELL as well as for procedures which translate machine-found proofs back into the usual sequent calculus.
منابع مشابه
Fabrication and Characterization of Novel Mixed Matrix Polyethersulfone Based Nanofiltration Membrane Modified by Ilmenite (TECHNICAL NOTE)
This study is focused on fabrication and characterization of mixed matrix poly ether sulfone based nanofiltration membrane by phase inversion method. The effect of different amounts of Ilmenite (FeTiO3) particles as inorganic filler additive in the casting solution on physic-chemical characteristics of membranes was studied. Scanning electron microscopy, surface analysis, water content, contact...
متن کاملMechanical material characterization of an embedded Carbon nanotube in polymer matrix by employing an equivalent fiber
Effective elastic properties for carbon nanotube reinforced composites are obtained through a variety of micromechanics techniques. An embedded carbon nanotube in a polymer matrix and its surrounding interphase is replaced with an equivalent fiber for predicting the mechanical properties of the carbon nanotube/polymer composite. The effects of an interphase layer between the nan...
متن کاملMechanical material characterization of an embedded Carbon nanotube in polymer matrix by employing an equivalent fiber
Effective elastic properties for carbon nanotube reinforced composites are obtained through a variety of micromechanics techniques. An embedded carbon nanotube in a polymer matrix and its surrounding interphase is replaced with an equivalent fiber for predicting the mechanical properties of the carbon nanotube/polymer composite. The effects of an interphase layer between the nan...
متن کاملA CHARACTERIZATION OF BAER-IDEALS
An ideal I of a ring R is called right Baer-ideal if there exists an idempotent e 2 R such that r(I) = eR. We know that R is quasi-Baer if every ideal of R is a right Baer-ideal, R is n-generalized right quasi-Baer if for each I E R the ideal In is right Baer-ideal, and R is right principaly quasi-Baer if every principal right ideal of R is a right Baer-ideal. Therefore the concept of Baer idea...
متن کامل